Intensional logic